Amiga Plus 1996 #6/Amiga Plus CD - 1996 - No. 06.iso/pd/texte/texfontinst/pl/cmsy10.pl

Text File | 1996-07-30 | 14KB | 770 lines

(FAMILY CMSY)
(FACE O 352)
(CODINGSCHEME TEX MATH SYMBOLS)
(DESIGNSIZE R 10.0)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CHECKSUM O 4110426232)
(FONTDIMEN
   (SLANT R 0.25)
   (SPACE R 0.0)
   (STRETCH R 0.0)
   (SHRINK R 0.0)
   (XHEIGHT R 0.430555)
   (QUAD R 1.000003)
   (EXTRASPACE R 0.0)
   (NUM1 R 0.676508)
   (NUM2 R 0.393732)
   (NUM3 R 0.443731)
   (DENOM1 R 0.685951)
   (DENOM2 R 0.344841)
   (SUP1 R 0.412892)
   (SUP2 R 0.362892)
   (SUP3 R 0.288889)
   (SUB1 R 0.15)
   (SUB2 R 0.247217)
   (SUPDROP R 0.386108)
   (SUBDROP R 0.05)
   (DELIM1 R 2.389999)
   (DELIM2 R 1.01)
   (AXISHEIGHT R 0.25)
   )
(LIGTABLE
   (LABEL O 111)
   (LABEL O 124)
   (LABEL O 126)
   (KRN O 60 R 0.027779)
   (STOP)
   (LABEL O 113)
   (KRN O 60 R 0.055557)
   (STOP)
   (LABEL O 104)
   (LABEL O 116)
   (LABEL O 120)
   (LABEL O 122)
   (LABEL O 125)
   (LABEL O 127)
   (LABEL O 131)
   (KRN O 60 R 0.083336)
   (STOP)
   (LABEL O 105)
   (LABEL O 106)
   (LABEL O 107)
   (LABEL O 110)
   (LABEL O 117)
   (LABEL O 121)
   (KRN O 60 R 0.1111145)
   (STOP)
   (LABEL O 102)
   (LABEL O 103)
   (LABEL O 114)
   (LABEL O 115)
   (LABEL O 123)
   (LABEL O 130)
   (LABEL O 132)
   (KRN O 60 R 0.138893)
   (STOP)
   (LABEL O 112)
   (KRN O 60 R 0.166672)
   (STOP)
   (LABEL O 101)
   (KRN O 60 R 0.19445)
   (STOP)
   )
(CHARACTER O 0
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 1
   (CHARWD R 0.277779)
   (CHARHT R 0.444446)
   (CHARDP R -0.055554)
   )
(CHARACTER O 2
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 3
   (CHARWD R 0.500002)
   (CHARHT R 0.465279)
   (CHARDP R -0.034721)
   )
(CHARACTER O 4
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 5
   (CHARWD R 0.500002)
   (CHARHT R 0.444446)
   (CHARDP R -0.055554)
   )
(CHARACTER O 6
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 7
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 10
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 11
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 12
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 13
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 14
   (CHARWD R 0.777781)
   (CHARHT R 0.583334)
   (CHARDP R 0.083334)
   )
(CHARACTER O 15
   (CHARWD R 1.000003)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 16
   (CHARWD R 0.500002)
   (CHARHT R 0.444446)
   (CHARDP R -0.055554)
   )
(CHARACTER O 17
   (CHARWD R 0.500002)
   (CHARHT R 0.444446)
   (CHARDP R -0.055554)
   )
(CHARACTER O 20
   (CHARWD R 0.777781)
   (CHARHT R 0.463748)
   (CHARDP R -0.036252)
   )
(CHARACTER O 21
   (CHARWD R 0.777781)
   (CHARHT R 0.463748)
   (CHARDP R -0.036252)
   )
(CHARACTER O 22
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 23
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 24
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 25
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 26
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 27
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 30
   (CHARWD R 0.777781)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 31
   (CHARWD R 0.777781)
   (CHARHT R 0.483122)
   (CHARDP R -0.016878)
   )
(CHARACTER O 32
   (CHARWD R 0.777781)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 33
   (CHARWD R 0.777781)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 34
   (CHARWD R 1.000003)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 35
   (CHARWD R 1.000003)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 36
   (CHARWD R 0.777781)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 37
   (CHARWD R 0.777781)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 40
   (CHARWD R 1.000003)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 41
   (CHARWD R 1.000003)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 42
   (CHARWD R 0.500002)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 43
   (CHARWD R 0.500002)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 44
   (CHARWD R 1.000003)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 45
   (CHARWD R 1.000003)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 46
   (CHARWD R 1.000003)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 47
   (CHARWD R 0.777781)
   (CHARHT R 0.463748)
   (CHARDP R -0.036252)
   )
(CHARACTER O 50
   (CHARWD R 1.000003)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 51
   (CHARWD R 1.000003)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 52
   (CHARWD R 0.611113)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 53
   (CHARWD R 0.611113)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 54
   (CHARWD R 1.000003)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 55
   (CHARWD R 1.000003)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 56
   (CHARWD R 1.000003)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 57
   (CHARWD R 0.777781)
   (CHARHT R 0.430555)
   )
(CHARACTER O 60
   (CHARWD R 0.275)
   (CHARHT R 0.555557)
   )
(CHARACTER O 61
   (CHARWD R 1.000003)
   (CHARHT R 0.430555)
   )
(CHARACTER O 62
   (CHARWD R 0.666669)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 63
   (CHARWD R 0.666669)
   (CHARHT R 0.539098)
   (CHARDP R 0.039098)
   )
(CHARACTER O 64
   (CHARWD R 0.888891)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 65
   (CHARWD R 0.888891)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 66
   (CHARWD R 0.0)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 67
   (CHARWD R 0.0)
   (CHARHT R 0.366875)
   (CHARDP R -0.133125)
   )
(CHARACTER O 70
   (CHARWD R 0.555557)
   (CHARHT R 0.694445)
   )
(CHARACTER O 71
   (CHARWD R 0.555557)
   (CHARHT R 0.694445)
   )
(CHARACTER O 72
   (CHARWD R 0.666669)
   (CHARHT R 0.430555)
   )
(CHARACTER O 73
   (CHARWD R 0.500002)
   (CHARHT R 0.75)
   (CHARDP R 0.055555)
   )
(CHARACTER O 74
   (CHARWD R 0.722224)
   (CHARHT R 0.694445)
   )
(CHARACTER O 75
   (CHARWD R 0.722224)
   (CHARHT R 0.694445)
   )
(CHARACTER O 76
   (CHARWD R 0.777781)
   (CHARHT R 0.694445)
   )
(CHARACTER O 77
   (CHARWD R 0.777781)
   (CHARHT R 0.694445)
   )
(CHARACTER O 100
   (CHARWD R 0.611113)
   (CHARHT R 0.694445)
   )
(CHARACTER O 101
   (CHARWD R 0.798471)
   (CHARHT R 0.683332)
   (COMMENT
      (KRN O 60 R 0.19445)
      )
   )
(CHARACTER O 102
   (CHARWD R 0.65681)
   (CHARHT R 0.683332)
   (CHARIC R 0.030413)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 103
   (CHARWD R 0.526529)
   (CHARHT R 0.683332)
   (CHARIC R 0.058336)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 104
   (CHARWD R 0.771393)
   (CHARHT R 0.683332)
   (CHARIC R 0.027779)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 105
   (CHARWD R 0.5277815)
   (CHARHT R 0.683332)
   (CHARIC R 0.089441)
   (COMMENT
      (KRN O 60 R 0.1111145)
      )
   )
(CHARACTER O 106
   (CHARWD R 0.718748)
   (CHARHT R 0.683332)
   (CHARIC R 0.099306)
   (COMMENT
      (KRN O 60 R 0.1111145)
      )
   )
(CHARACTER O 107
   (CHARWD R 0.594866)
   (CHARHT R 0.683332)
   (CHARDP R 0.097223)
   (CHARIC R 0.059303)
   (COMMENT
      (KRN O 60 R 0.1111145)
      )
   )
(CHARACTER O 110
   (CHARWD R 0.844518)
   (CHARHT R 0.683332)
   (CHARIC R 0.009654)
   (COMMENT
      (KRN O 60 R 0.1111145)
      )
   )
(CHARACTER O 111
   (CHARWD R 0.544516)
   (CHARHT R 0.683332)
   (CHARIC R 0.073822)
   (COMMENT
      (KRN O 60 R 0.027779)
      )
   )
(CHARACTER O 112
   (CHARWD R 0.67778)
   (CHARHT R 0.683332)
   (CHARDP R 0.097223)
   (CHARIC R 0.184721)
   (COMMENT
      (KRN O 60 R 0.166672)
      )
   )
(CHARACTER O 113
   (CHARWD R 0.7619505)
   (CHARHT R 0.683332)
   (CHARIC R 0.014445)
   (COMMENT
      (KRN O 60 R 0.055557)
      )
   )
(CHARACTER O 114
   (CHARWD R 0.689725)
   (CHARHT R 0.683332)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 115
   (CHARWD R 1.2009)
   (CHARHT R 0.683332)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 116
   (CHARWD R 0.820491)
   (CHARHT R 0.683332)
   (CHARIC R 0.14736)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 117
   (CHARWD R 0.796114)
   (CHARHT R 0.683332)
   (CHARIC R 0.027779)
   (COMMENT
      (KRN O 60 R 0.1111145)
      )
   )
(CHARACTER O 120
   (CHARWD R 0.6955595)
   (CHARHT R 0.683332)
   (CHARIC R 0.082222)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 121
   (CHARWD R 0.81667)
   (CHARHT R 0.683332)
   (CHARDP R 0.097223)
   (COMMENT
      (KRN O 60 R 0.1111145)
      )
   )
(CHARACTER O 122
   (CHARWD R 0.847504)
   (CHARHT R 0.683332)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 123
   (CHARWD R 0.605558)
   (CHARHT R 0.683332)
   (CHARIC R 0.074995)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 124
   (CHARWD R 0.544644)
   (CHARHT R 0.683332)
   (CHARIC R 0.254168)
   (COMMENT
      (KRN O 60 R 0.027779)
      )
   )
(CHARACTER O 125
   (CHARWD R 0.625832)
   (CHARHT R 0.683332)
   (CHARIC R 0.099306)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 126
   (CHARWD R 0.6127825)
   (CHARHT R 0.683332)
   (CHARIC R 0.082222)
   (COMMENT
      (KRN O 60 R 0.027779)
      )
   )
(CHARACTER O 127
   (CHARWD R 0.987783)
   (CHARHT R 0.683332)
   (CHARIC R 0.082222)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 130
   (CHARWD R 0.713297)
   (CHARHT R 0.683332)
   (CHARIC R 0.146428)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 131
   (CHARWD R 0.668337)
   (CHARHT R 0.683332)
   (CHARDP R 0.097223)
   (CHARIC R 0.082222)
   (COMMENT
      (KRN O 60 R 0.083336)
      )
   )
(CHARACTER O 132
   (CHARWD R 0.724726)
   (CHARHT R 0.683332)
   (CHARIC R 0.079443)
   (COMMENT
      (KRN O 60 R 0.138893)
      )
   )
(CHARACTER O 133
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 134
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 135
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 136
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 137
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 140
   (CHARWD R 0.611113)
   (CHARHT R 0.694445)
   )
(CHARACTER O 141
   (CHARWD R 0.611113)
   (CHARHT R 0.694445)
   )
(CHARACTER O 142
   (CHARWD R 0.444446)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 143
   (CHARWD R 0.444446)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 144
   (CHARWD R 0.444446)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 145
   (CHARWD R 0.444446)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 146
   (CHARWD R 0.500002)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 147
   (CHARWD R 0.500002)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 150
   (CHARWD R 0.38889)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 151
   (CHARWD R 0.38889)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 152
   (CHARWD R 0.277779)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 153
   (CHARWD R 0.500002)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 154
   (CHARWD R 0.500002)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 155
   (CHARWD R 0.611113)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 156
   (CHARWD R 0.500002)
   (CHARHT R 0.75)
   (CHARDP R 0.25)
   )
(CHARACTER O 157
   (CHARWD R 0.277779)
   (CHARHT R 0.694445)
   (CHARDP R 0.194443)
   )
(CHARACTER O 160
   (CHARWD R 0.833336)
   (CHARHT R 0.039999)
   (CHARDP R 0.960001)
   )
(CHARACTER O 161
   (CHARWD R 0.750002)
   (CHARHT R 0.683332)
   )
(CHARACTER O 162
   (CHARWD R 0.833336)
   (CHARHT R 0.683332)
   )
(CHARACTER O 163
   (CHARWD R 0.416669)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   (CHARIC R 0.111112)
   )
(CHARACTER O 164
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 165
   (CHARWD R 0.666669)
   (CHARHT R 0.555557)
   )
(CHARACTER O 166
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 167
   (CHARWD R 0.777781)
   (CHARHT R 0.635971)
   (CHARDP R 0.135971)
   )
(CHARACTER O 170
   (CHARWD R 0.4444475)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 171
   (CHARWD R 0.444446)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 172
   (CHARWD R 0.444446)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 173
   (CHARWD R 0.611113)
   (CHARHT R 0.694445)
   (CHARDP R 0.194445)
   )
(CHARACTER O 174
   (CHARWD R 0.777781)
   (CHARHT R 0.694445)
   (CHARDP R 0.129629)
   )
(CHARACTER O 175
   (CHARWD R 0.777781)
   (CHARHT R 0.694445)
   (CHARDP R 0.129629)
   )
(CHARACTER O 176
   (CHARWD R 0.777781)
   (CHARHT R 0.694445)
   (CHARDP R 0.129629)
   )
(CHARACTER O 177
   (CHARWD R 0.777781)
   (CHARHT R 0.694445)
   (CHARDP R 0.129629)
   )